A Game of Attribute Decomposition for Software Architecture Design

Attribute-driven software architecture design aims to provide decision support by taking into account the quality attributes of softwares. A central question in this process is: What architecture design best fulfills the desirable software requirements? To answer this question, a system designer needs to make tradeoffs among several potentially conflicting quality attributes. Such decisions are normally ad-hoc and rely heavily on experiences. We propose a mathematical approach to tackle this problem. Game theory naturally provides the basic language: Players represent requirements, and strategies involve setting up coalitions among the players. In this way we propose a novel model, called decomposition game, for attribute-driven design. We present its solution concept based on the notion of cohesion and expansion-freedom and prove that a solution always exists. We then investigate the computational complexity of obtaining a solution. The game model and the algorithms may serve as a general framework for providing useful guidance for software architecture design. We present our results through running examples and a case study on a real-life software project.Comment: 23 pages, 5 figures, a shorter version to appear at 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015

Magnetization and Level Statistics at Quantum Hall Liquid-Insulator Transition in the Lattice Model

Statistics of level spacing and magnetization are studied for the phase diagram of the integer quantum Hall effect in a 2D finite lattice model with Anderson disorder.Comment: 4 pages, 6 figure

Magnetic field effect on the dielectric constant of glasses: Evidence of disorder within tunneling barriers

The magnetic field dependence of the low frequency dielectric constant $e_r$(H) of a structural glass a - SiO2 + xCyHz was studied from 400 mK to 50 mK and for H up to 3T. Measurement of both the real and the imaginary parts of $e_r$ is used to eliminate the difficult question of keeping constant the temperature of the sample while increasing H: a non-zero $e_r$(H) dependence is reported in the same range as that one very recently reported on multicomponent glasses. In addition to the recently proposed explanation based on interactions, the reported $e_r$(H) is interpreted quantitatively as a consequence of the disorder lying within the nanometric barriers of the elementary tunneling systems of the glass.Comment: latex Bcorrige1.tex, 5 files, 4 figures, 7 pages [SPEC-S02/009

Interaction-Induced Magnetization of the Two-Dimensional Electron Gas

We consider the contribution of electron-electron interactions to the orbital magnetization of a two-dimensional electron gas, focusing on the ballistic limit in the regime of negligible Landau-level spacing. This regime can be described by combining diagrammatic perturbation theory with semiclassical techniques. At sufficiently low temperatures, the interaction-induced magnetization overwhelms the Landau and Pauli contributions. Curiously, the interaction-induced magnetization is third-order in the (renormalized) Coulomb interaction. We give a simple interpretation of this effect in terms of classical paths using a renormalization argument: a polygon must have at least three sides in order to enclose area. To leading order in the renormalized interaction, the renormalization argument gives exactly the same result as the full treatment.Comment: 11 pages including 4 ps figures; uses revtex and epsf.st

Evolution of the electronic structure from electron-doped to hole-doped states in the two-dimensional Mott-Hubbard system La1.17-xPbxVS3.17

The filling-controlled metal-insulator transition (MIT) in a two-dimensional Mott-Hubbard system La1.17-xPbxVS3.17 has been studied by photoemission spectroscopy. With Pb substitution x, chemical potential mu abruptly jumps by ~ 0.07 eV between x=0.15 and 0.17, indicating that a charge gap is opened at x ~= 0.16 in agreement with the Mott insulating state of the d2 configuration. When holes or electrons are doped into the Mott insulator of x ~= 0.16, the gap is filled and the photoemission spectral weight at mu, rho(mu), gradually increases in a similar way to the electronic specific heat coefficient, although the spectral weight remains depressed around mu compared to that expected for a normal metal, showing a pseudogap behavior in the metallic samples. The observed behavior of varrho(mu)->0 for x->0.16 is contrasted with the usual picture that the electron effective mass of the Fermi-liquid system is enhanced towards the metal-insulator boundary. With increasing temperature, the gap or the pseudogap is rapidly filled up, and the spectra at T=300 K appears to be almost those of a normal metal. Near the metal-insulator boundary, the spectra around mu are consistent with the formation of a Coulomb gap, suggesting the influence of long-range Coulomb interaction under the structural disorder intrinsic to this system.Comment: 8 pages, 12 figure

Quantum railroads and directed localization at the juncture of quantum Hall systems

The integer quantum Hall effect (QHE) and one-dimensional Anderson localization (AL) are limiting special cases of a more general phenomenon, directed localization (DL), predicted to occur in disordered one-dimensional wave guides called "quantum railroads" (QRR). Here we explain the surprising results of recent measurements by Kang et al. [Nature 403, 59 (2000)] of electron transfer between edges of two-dimensional electron systems and identify experimental evidence of QRR's in the general, but until now entirely theoretical, DL regime that unifies the QHE and AL. We propose direct experimental tests of our theory.Comment: 11 pages revtex + 3 jpeg figures, to appear in Phys. Rev.

Magnetization of a two-dimensional electron gas with a second filled subband

We have measured the magnetization of a dual-subband two-dimensional electron gas, confined in a GaAs/AlGaAs heterojunction. In contrast to two-dimensional electron gases with a single subband, we observe non-1/B-periodic, triangularly shaped oscillations of the magnetization with an amplitude significantly less than $1 \mu_{\mathrm{B}}^*$ per electron. All three effects are explained by a field dependent self-consistent model, demonstrating the shape of the magnetization is dominated by oscillations in the confining potential. Additionally, at 1 K, we observe small oscillations at magnetic fields where Landau-levels of the two different subbands cross.Comment: 4 pages, 4 figure

Dynamics of electrons in the quantum Hall bubble phases

In Landau levels N > 1, the ground state of the two-dimensional electron gas (2DEG) in a perpendicular magnetic field evolves from a Wigner crystal for small filling of the partially filled Landau level, into a succession of bubble states with increasing number of guiding centers per bubble as the filling increases, to a modulated stripe state near half filling. In this work, we show that these first-order phase transitions between the bubble states lead to measurable discontinuities in several physical quantities such as the density of states and the magnetization of the 2DEG. We discuss in detail the behavior of the collective excitations of the bubble states and show that their spectra have higher-energy modes besides the pinned phonon mode. The frequencies of these modes, at small wavevector k, have a discontinuous evolution as a function of filling factor that should be measurable in, for example, microwave absorption experiments.Comment: 13 pages, 7 figures. Corrected typos in eqs. (38),(39),(40